大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Rational Fault Analysis 的图书(共6629本)

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

0
索取号：
作者：Fahrenberg、 Uli.、Tripakis、 Stavros.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Hage、 Jurriaan.、Moraz谩n、 Marco T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Location-Based Services [electronic resource] : 8th International Symposium on Location-Based Services, Vienna 2011

0
索取号：
作者：Gartner、 Georg.、Ortag、 Felix.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advanced Parallel Processing Technologies [electronic resource] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings

0
索取号：
作者：Temam、 Olivier.、Yew、 Pen-Chung.、Zang、 Binyu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Distributed Computing [electronic resource] : 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings

0
索取号：
作者：Peleg、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Image Analysis and Processing-ICIAP 2011 [electronic resource] : 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part II

0
索取号：
作者：Maino、 Giuseppe.、Foresti、 Gian Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Image Analysis and Processing-ICIAP 2011 [electronic resource] : 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part I

0
索取号：
作者：Maino、 Giuseppe.、Foresti、 Gian Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Cryptographic Protocol [electronic resource] : Security Analysis Based on Trusted Freshness

0
索取号：
作者：Dong、 Ling.、Chen、 Kefei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Fault Detection and Flight Data Measurement [electronic resource] : Demonstrated on Unmanned Air Vehicles Using Neural Networks

0
索取号：
作者：Samy、 Ihab.、Gu、 Da-Wei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Visual Computing [electronic resource] : 7th International Symposium, ISVC 2011, Las Vegas, NV, USA, September 26-28, 2011. Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Wang、 Song.、Kyungnam、 Kim.、Benes、 Bedrich.、Moreland、 Kenneth.、Borst、 Christoph.、DiVerdi、 Stephen.、Yi-Jen、 Chiang.、Ming、 Jiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Visual Computing [electronic resource] : 7th International Symposium, ISVC 2011, Las Vegas, NV, USA, September 26-28, 2011. Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Wang、 Song.、Kyungnam、 Kim.、Benes、 Bedrich.、Moreland、 Kenneth.、Borst、 Christoph.、DiVerdi、 Stephen.、Yi-Jen、 Chiang.、Ming、 Jiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Distributed Computing V [electronic resource] : Proceedings of the 5th International Symposium on Intelligent Distributed Computing 鈥ɄC 2011, Delft, The Netherlands 鈥ϣtober 2011

0
索取号：
作者：Brazier、 F. M. T.、Nieuwenhuis、 Kees.、Pavlin、 Gregor.、Warnier、 Martijn.、Badica、 Costin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Modeling Dose-Response Microarray Data in Early Drug Development Experiments Using R [electronic resource] : Order-Restricted Analysis of Microarray Data

0
索取号：
作者：Lin、 Dan.、Shkedy、 Ziv.、Yekutieli、 Daniel.、Amaratunga、 Dhammika.、Bijnens、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions [electronic resource] : International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings

0
索取号：
作者：Madabhushi、 Anant.、Dowling、 Jason.、Huisman、 Henkjan.、Barratt、 Dean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院